A unital commutative quantale (or just quantale, in this book)
A symmetric monoidal closed preorder \(\mathcal{V}=(V,\leq,I,\otimes,\multimap)\) that has all joins.
\(\bigvee A\) exists for all \(A \subseteq V\)
Denote the empty join as \(0 := \bigvee \varnothing\)